Dines Bjørner (auth.) : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Libre accès à la connaissance et à la culture.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres (27)
Les plus populaires
Liste
- Liste
- Tableau

1

Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

Springer-Verlag Berlin Heidelberg

Prof. Dr. Dines Bjørner (auth.)

Année:

2006

Langue:

english

Fichier:

PDF, 23.68 MB

0 / 0

english, 2006

2

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 4.29 MB

0 / 0

english, 2007

3

Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), P. Dembiński (eds.)

Année:

1980

Langue:

english

Fichier:

DJVU, 6.42 MB

0 / 0

english, 1980

4

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann (eds.)

Année:

2000

Langue:

english

Fichier:

PDF, 6.37 MB

0 / 0

english, 2000

5

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Année:

1996

Langue:

english

Fichier:

DJVU, 3.86 MB

0 / 0

english, 1996

6

Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997

Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997

Springer Berlin Heidelberg

Dines Bjørner (auth.), Manfred Broy, Bernhard Rumpe (eds.)

Année:

1998

Langue:

english

Fichier:

PDF, 3.20 MB

0 / 0

english, 1998

7

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.)

Année:

1989

Langue:

english

Fichier:

PDF, 7.85 MB

0 / 0

english, 1989

8

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Année:

1996

Langue:

english

Fichier:

PDF, 6.23 MB

0 / 5.0

english, 1996

9

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 3.23 MB

0 / 5.0

english, 2010

10

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

Année:

1978

Langue:

english

Fichier:

PDF, 14.97 MB

0 / 0

english, 1978

11

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.)

Année:

1989

Langue:

english

Fichier:

DJVU, 4.18 MB

0 / 0

english, 1989

12

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

Année:

1987

Langue:

english

Fichier:

DJVU, 4.46 MB

0 / 0

english, 1987

13

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

Année:

1987

Langue:

english

Fichier:

PDF, 11.36 MB

0 / 0

english, 1987

14

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 3.04 MB

0 / 0

english, 2010

15

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Yu. L. Ershov (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Année:

1993

Langue:

english

Fichier:

DJVU, 3.88 MB

0 / 0

english, 1993

16

Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18–20, 1986 Proceedings

Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18–20, 1986 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Kesav V. Nori (eds.)

Année:

1986

Langue:

english

Fichier:

DJVU, 4.73 MB

0 / 0

english, 1986

17

Towards a Formal Description of Ada

Towards a Formal Description of Ada

Springer-Verlag Berlin Heidelberg

Dines Bjørner, Ole Nybye Oest (auth.), D. Bjørner, O. N. Nest (eds.)

Année:

1980

Langue:

english

Fichier:

PDF, 9.32 MB

0 / 0

english, 1980

18

Towards a Formal Description of Ada

Towards a Formal Description of Ada

Springer-Verlag Berlin Heidelberg

Dines Bjørner, Ole Nybye Oest (auth.), D. Bjørner, O. N. Nest (eds.)

Année:

1980

Langue:

english

Fichier:

DJVU, 3.11 MB

0 / 0

english, 1980

19

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 6.33 MB

0 / 0

english, 2007

20

Baltic Computer Science: Selected Papers

Baltic Computer Science: Selected Papers

Springer-Verlag Berlin Heidelberg

G. Mints, E. Tyugu (auth.), Janis Bārzdinš, Dines Bjørner (eds.)

Année:

1991

Langue:

english

Fichier:

DJVU, 4.05 MB

0 / 0

english, 1991

21

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Springer-Verlag Berlin Heidelberg

Igor V. Pottosin (auth.), Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)

Année:

2001

Langue:

english

Fichier:

PDF, 5.59 MB

0 / 0

english, 2001

22

Baltic Computer Science: Selected Papers

Baltic Computer Science: Selected Papers

Springer-Verlag Berlin Heidelberg

G. Mints, E. Tyugu (auth.), Janis Bārzdinš, Dines Bjørner (eds.)

Année:

1991

Langue:

english

Fichier:

PDF, 8.87 MB

0 / 0

english, 1991

23

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

Année:

1978

Langue:

english

Fichier:

DJVU, 1.81 MB

0 / 0

english, 1978

24

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Springer-Verlag Berlin Heidelberg

Igor V. Pottosin (auth.), Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)

Année:

2001

Langue:

english

Fichier:

PDF, 7.07 MB

0 / 0

english, 2001

25

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Yu. L. Ershov (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Année:

1993

Langue:

english

Fichier:

PDF, 6.56 MB

0 / 0

english, 1993

26

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann (eds.)

Année:

2000

Langue:

english

Fichier:

PDF, 7.84 MB

0 / 0

english, 2000

27

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

Année:

1978

Langue:

english

Fichier:

PDF, 14.98 MB

0 / 0

english, 1978